- собственная непротиворечивость
- proper consistency мат.
Русско-английский научно-технический словарь Масловского. 2015.
собственная непротиворечивость
Look at other dictionaries:
Специальная теория относительности — Почтовая марка с формулой E = mc2, посвящённая Альберту Эйнштейну, одному из создателей СТО. Специальная теор … Википедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
АРИФМЕТИКА ФОРМАЛЬНАЯ — арифметическое исчисление, логико математич. исчисление, формализующее элементарную теорию чисел. Язык наиболее употребительного варианта А. ф. содержит константу 0, числовые переменные, символ равенства, функциональные символы (прибавление 1) и… … Математическая энциклопедия
ВЕЙЛЬ — (Weyl) Герман (1885 1955) математик и философ, член Национальной Академии Наук США, лауреат Международной премии имени Лобачевского (1927). Образование получил в Геттингенском Университете (1908). Профессор математики Политехнического Института в … История Философии: Энциклопедия
МАТЕМАТИКА — Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… … Энциклопедия Кольера
ЭЛЕКТРОМАГНИТНОЕ ИЗЛУЧЕНИЕ — электромагнитные волны, возбуждаемые различными излучающими объектами, заряженными частицами, атомами, молекулами, антеннами и пр. В зависимости от длины волны различают гамма излучение, рентгеновское, ультрафиолетовое излучение, видимый свет,… … Энциклопедия Кольера
ЗНАНИЕ — результат процесса познания, обычно выраженный в языке или в к. л. знаковой форме. Стремление понять, что такое З. и чем оно отличается от др. продуктов человеческого сознания, характерно уже для философов античности, которые поставили и пытались … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
философия науки — ФИЛОСОФИЯ НАУКИ специальная философская дисциплина, предметом которой является структура и развитие научного знания. Исторически также философское направление, которое избирает своей основной проблематикой науку как эпистемологический и… … Энциклопедия эпистемологии и философии науки
ВЕЙЛЬ Герман (1885-1955) — математик и философ, член Национальной Академии Наук США, лауреат Международной премии имени Лобачевского (1927). Образование получил в Геттингенском Университете (1908). Профессор математики Политехнического Института в Цюрихе (Швейцария, 1913… … История Философии: Энциклопедия
ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… … Православная энциклопедия
